duplicate :: w a -> w (w a)